C programming language) - PDFSEARCH.IO - Document Search Engine

C programming language)
Results: 6760

#	Item
511	A Bisimulation for Type Abstraction and Recursion EIJIRO SUMII Tohoku University and BENJAMIN C. PIERCE University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-08-08 12:01:23 Lambda calculus Models of computation Logic in computer science Programming language semantics Denotational semantics Fixed-point combinator Model theory Simply typed lambda calculus Curry–Howard correspondence Theoretical computer science Applied mathematics Computer science
512	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.cnr.berkeley.edu Language: English - Date: 2015-05-30 13:10:07 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
513	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.stat.upd.edu.ph Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
514	Professor Russel Griggs OBE Independent Reviewer 4 December 2014 Lending Code Review Add to Reading List Source URL: www.lendingstandardsboard.org.uk Language: English - Date: 2014-12-03 12:06:40 Software engineering Programming language theory Computing C Cross-platform software
515	The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or Add to Reading List Source URL: cran.fiocruz.br Language: English - Date: 2003-07-17 05:02:27 Abstract algebra Subroutines Mathematical structures Cross-platform software Procedural programming languages C++ classes Algebraic structure Fold Function Software engineering Algebra Computing
516	R Internals VersionUnder developmentR Core Team This manual is for R, versionUnder development). Add to Reading List Source URL: cran.at.r-project.org Language: English - Date: 2015-05-30 13:10:07 Procedural programming languages C programming language C++ Cross-platform software Pointer C ALGOL 68 Ip Struct Computing Computer programming Software engineering
517	ENGG1015: Homework 2 Solution Dr. Hayden So Question 1 Digital Image Add to Reading List Source URL: www.eee.hku.hk Language: English - Date: 2010-11-14 12:25:37 C Software engineering Programming language theory Computing Mathematical fallacy Proof theory
518	Frama-C Training Session Introduction to ACSL and its GUI Virgile Prevosto CEA List October 21st , 2010 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 ANSI/ISO C Specification Language C programming language Frama-C Program logic Logic in computer science Formal sciences Hoare logic Logic Polyspace Software engineering Computer programming Computing
519	Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:23 Source code Functional languages C programming language Cross-platform software Transformation languages Hygienic macro C preprocessor Macro Racket Computing Computer programming Software engineering
520	ACSL Version 1.6 Implementation in Oxygen ACSL: ANSI/ISO C Specication Language Version 1.6 Oxygen Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 Data types C++ Pointer C Predicate Logic programming Pascal Function Dangling pointer Software engineering Computing Computer programming

UPDATE